G.Sambin, "An effective fixed-point theorem in intuitionistic diagonalizable alegebras"
Giovanni Sambin